Predicate screw : x.equals("s")  ;
Predicate taper : x.equals("t")  ;
Predicate face : x.equals("f") ; 
          
Formula : start(screw) ->  (end(taper) /\ [taper , face)s)        
Violation Handler :
System.out.println("Fomula Violated!");
